\begin{tabbing}
((((UnivCD) 
\\[0ex]THENM (((RWO "member{-}exists" 0) 
\\[0ex]T\=HENM (RWO "length\_of\_not\_nil" 0))$\cdot$))$\cdot$) \+
\\[0ex]
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$
\-
\end{tabbing}